Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs
Guessing Game: Haskell Style
entropicthoughts.com·20h
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·6h
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
Securing FreeBSD Services with Lightweight Jails
discoverbsd.com·12h
Is Math Discovered or Invented?
curtispoe.org·11h
Song recommendations with F# free monads
blog.ploeh.dk·1d
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
Some recent project milestones
markjgsmith.com·1d
Claude Code's 19 cent Parser
blogger.com·1d
Loading...Loading more...